Uses of Class
abstraction.State

Packages that use State

abstraction
control
presentation
presentation.graph

Uses of State in abstraction

Fields in abstraction declared as State

private State	Service.initialState
private State	TransitionFunction.nextState
private State	TransitionFunction.presentState
private State	StateAction.presentState

Fields in abstraction with type parameters of type State

private java.util.Set<State>	Service.finalStates
private java.util.HashMap<State,java.util.HashSet<Action>>	Service.listAction
private java.util.HashMap<StateAction,java.util.HashSet<State>>	Service.nextStates

Methods in abstraction that return State

State	Service.getInitialState() get initial state
State	TransitionFunction.getNextState() get a next state of a transition function
State	TransitionFunction.getPresentState() get a present state of a transition function
State	StateAction.getPresentState()

Methods in abstraction that return types with arguments of type State

java.util.Iterator<State>	Service.getFinalStates() get all final states of Service
protected java.util.Set<State>	Service.getFinalStatesSet() get all final states of Service
java.util.Iterator<State>	Service.getNextStates(State presentState, Action action) get the next states from a state-action
java.util.Iterator<State>	Service.getStates() get all states of the service

Methods in abstraction with parameters of type State

boolean	Service.containsPresentAction(State presentState, Action action) say if exist a pair of state-action
java.util.Iterator<Action>	Service.getActions(State state) get all possible action from a present state
java.util.Iterator<State>	Service.getNextStates(State presentState, Action action) get the next states from a state-action
boolean	Service.isFinalState(State state) This method says if a state is final or not

Method parameters in abstraction with type arguments of type State

private static java.lang.String	CartesianProduct.productFinalStates(java.util.Set<State> l1, java.util.Set<State> l2) This method executes a Cartesian product among final states
private static java.lang.String	CartesianProduct.productFinalStates(java.util.Set<State> l1, java.util.Set<State> l2) This method executes a Cartesian product among final states

Constructors in abstraction with parameters of type State

StateAction(State presentState, Action action)
Constructor

TransitionFunction(State presentState, Action action, State nextState)
Constructor

Uses of State in control

Fields in control declared as State

private State[]	CState.commState
private State[]	IteratorFinalCommunityStates.presentConfiguration
private State[]	IteratorCommunityStates.presentConfiguration
private State	SimulatedBy.targetState

Methods in control that return State

State	CState.get(int index) gets a state of a service specified by the posistion
State	SimulatedBy.getTargetState() gets the target state which is present in this pair of states that are in simulation

Methods in control with parameters of type State

CState	CState.buildNewState(int i, State next) creates a new community state replacing the element in the specified position of an existing community state with a next state of an available service
private boolean	Simulation.checkSimulationOfNextState(CState cs, Action as, State nextTState) checks if there is a state of the community going with the selected action to another state that is in simulation with the next state of the target

Constructors in control with parameters of type State

CState(State[] array)

SimulatedBy(State ts, CState cs)

Uses of State in presentation

Fields in presentation declared as State

private State	ExecuteOrchestratorPanel.presentStateTarget
private State	StartStatesDialog.targetInitialState

Fields in presentation with type parameters of type State

private java.util.HashMap<State,org.jgraph.graph.DefaultGraphCell>

ExecuteOrchestratorPanel.stateTable

Methods in presentation that return State

State

StartStatesDialog.getTargetStartState() Getter of start state of target service

Methods in presentation with parameters of type State

private void

ExecuteOrchestratorPanel.init(State tis, CState ais)

Uses of State in presentation.graph

Fields in presentation.graph with type parameters of type State

private java.util.HashMap<State,org.jgraph.graph.DefaultGraphCell>

GraphFactory.vertexMap

Methods in presentation.graph that return types with arguments of type State

java.util.HashMap<State,org.jgraph.graph.DefaultGraphCell>

GraphFactory.getVertexMap() Return an hash map key: state of service value: vertex of graph